person A twentieth century mathematician and logician, and

one of the founders of computer science. Church invented the

lambda-calculus and posited a version of the Church-Turingthesis.